miniOS.c int TCB_current_index;

Mini_free_task TCB;

Mini_free_task *TCB_PtrCurrentTask;

Mini_free_task *TCB_PtrNextTask;

void scheduler(void)

{

TCB_current_index++;

TCB_current_index %= (task_manage.max_task_id + 1);

TCB_PtrNextTask =

&task_manage.free_task_pool[TCB_current_index];

TCB_PtrCurrentTask = TCB_PtrNextTask;

}